proof of program correctness
英 [pruːf ɒv ˈprəʊɡræm kəˈrektnəs]
美 [pruːf əv ˈproʊɡræm kəˈrektnəs]
网络 程序正确性证明
双语例句
- This paper presented a new method of the proof of program correctness based on syntax trees.
提出了一种新的基于语法树的程序正确性验证方法（STM方法）。 - Proof of program correctness and a method of getting loop invariant
程序正确性证明及循环不变式的寻找方法 - A Developing Method of Programs Based on the Proof Theory of Program Correctness
一种基于程序正确性证明理论的程序开发方法 - Proof of program correctness based on syntax trees
基于语法树和程序正确性验证研究 - Currently, As Formal Method and Proof Theory of Program Correctness is unable to become a practical method, Performance Test of Software is still an effective mean of software quality guaranty quite a while in the future.
在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件性能测试在将来相当一段时间内仍然是软件质量保证的有效手段。